Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
161	A complete universal query operator. Richard Elling Moe Department of information science and media studies University of Bergen Abstract Add to Reading List Source URL: www.nik.no Language: English - Date: 2007-10-11 05:34:18 Mathematics Relational algebra Relational database SQL FO Structure Relation K Function Data management Relational model Computing
162	C:/Users/User/My SVN/cqalin/experimentsCameraReady.dvi Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-12-06 16:23:06 Mathematics Conjunctive query Logic Model theory Structure Universal algebra
163	Atmos. Chem. Phys., 5, 433–444, 2005 www.atmos-chem-phys.org/acp[removed]SRef-ID: [removed]acp[removed]European Geosciences Union Atmospheric Add to Reading List Source URL: www.atmos-chem-phys.net Language: English - Date: 2013-01-17 14:49:45 Model theory Substructure Universal algebra Global climate model MEMO Model Atmospheric model Climate model User interface Atmospheric sciences Climatology Environmental science
164	Call Arity Joachim Breitner Karlsruhe Institute of Technology [removed] Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Higher-order functions Universal algebra Recursion Lambda calculus Computability theory Fold Combinatory logic Map Arity Mathematics Mathematical logic Theoretical computer science
165	Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math isn’t a court Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2003-01-29 15:54:56 Mathematical logic Quantification Algebraic number theory Modular arithmetic Vacuous truth Universal quantification Mathematical proof Existential quantification If and only if Mathematics Abstract algebra Logic
166	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 This assignment starts on Mon, [removed]and is due on Tue, [removed], 23:59h. We will accept plain text (.txt) files, PDF (.pdf) files, and Isabel Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Quantification Boolean algebra Propositional calculus Lambda calculus Universal quantification Existential quantification Mathematical proof Free variables and bound variables Negation Mathematical logic Logic Mathematics
167	Algorithms for the universal decomposition algebra - slides.pdf Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2012-06-12 04:55:40 Minimal polynomial Polynomials Mathematics Matrix theory
168	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
169	LogiCell Jean-Philippe Rennard, Ph.D., [removed]LogiCell 1.0 We have seen in Introduction to CA that the Game of Life has Universal computation capabilities. Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:11:15 Mathematical logic Propositional calculus Logical connectives Binary operations Algebraic logic Exclusive or Truth table Logical disjunction Boolean data type Abstract algebra Mathematics Boolean algebra
170	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EE[removed]Tallinn, Estonia R Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:22:33 Logic Mathematical logic Structure Universal algebra Interpretation Hoare logic Parity of a permutation Goto Denotational semantics Mathematics Model theory Formal languages

UPDATE